#ifndef _OS_SOCKETS_H_
#define _OS_SOCKETS_H_

#include "os_dev.h"

err_t lookup_socket(dev_info_t *device_info, device_t **device);

// Open device
err_t open_socket(dev_handle_t *handle, device_t **);

// Close device
err_t close_socket(dev_access_t *);

// Init device
err_t init_sockets(void);



#endif
